<?php
class misc_tab extends tab {}
?>